Skip to content

chore(release): promote dev to main - #218

Merged
LeXwDeX merged 15 commits into
mainfrom
dev
Aug 9, 2026
Merged

chore(release): promote dev to main#218
LeXwDeX merged 15 commits into
mainfrom
dev

Conversation

@LeXwDeX

@LeXwDeX LeXwDeX commented Aug 9, 2026

Copy link
Copy Markdown
Owner

Summary

Promote the verified dev integration batch to main.

Included work:

Verification

The source commit dev@6b3cc158d1d839d447ec97ae7804ac43de0de270 passed:

  • Typecheck
  • CodeQL
  • Unit Tests (linux)
  • E2E Tests (linux)
  • E2E Tests (windows)
  • generated client and SDK freshness
  • HttpAPI exerciser gates

This PR intentionally contains the complete verified integration batch and no local worktree changes.

@LeXwDeX
LeXwDeX merged commit bcb0008 into main Aug 9, 2026
15 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant